1.
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Confe...
by Groote, Jan Friso, Larsen, ...
ISBN: 9783030720155
2.
Tools and Algorithms for the Construction and Analysis of Systems : 27th International Confe...
by Groote, Jan Friso, Larsen, ...
ISBN: 9783030720124
3.
Logical Gates, Circuits, Processors, Compilers and Computers
by Groote, Jan Friso, Morel, R...
ISBN: 9783030685522
4.
Understanding Behaviour of Distributed Systems Using MCRL2
by Atif, Muhammad, Groote, Jan...
ISBN: 9783031230073
5.
Tales of Electrologica : Computers, Software and People
by Alberts, Gerard, Groote, Ja...
ISBN: 9783031130328
6.
Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, ...
by Groote, Jan Friso, Huisman,...
ISBN: 9783031150074
7.
Modeling and Analysis of Communicating Systems
by Groote, Jan Friso, Mousavi,...
ISBN: 9780262547871
8.
Tales of Electrologica: Computers, Software and People
by Alberts, Gerard, Groote, Ja...
ISBN: 9783031130359
9.
Understanding Behaviour of Distributed Systems Using MCRL2
by Atif, Muhammad, Groote, Jan...
ISBN: 9783031230103